Donald Knuth: The Art Of Computer Programming: Satisfiability And Combinatorics